21![Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l](https://www.pdfsearch.io/img/a09696d58ad3e630bc630bc09f178681.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2016-01-24 20:37:43
|
---|
22![Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3](https://www.pdfsearch.io/img/61ddf4e4b2c1cf6ffa62fc812babb17f.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:04
|
---|
23![User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm](https://www.pdfsearch.io/img/a12237dca48408b0a3d32d48978438aa.jpg) | Add to Reading ListSource URL: matita.cs.unibo.itLanguage: English - Date: 2007-05-25 11:04:13
|
---|
24![MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2](https://www.pdfsearch.io/img/3ebdd1a558c306dd5b9bec7daa8d22aa.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-03-13 06:06:51
|
---|
25![Paramodulation Paramodulation Linear Paramodulation Paramodulation Paramodulation Linear Paramodulation](https://www.pdfsearch.io/img/5ffdb30e497cde5592683421bad1659b.jpg) | Add to Reading ListSource URL: profs.sci.univr.itLanguage: English - Date: 2010-08-31 11:58:31
|
---|
26![ABOUT MANUSCRIPTS FOR IJ ITA ABOUT MANUSCRIPTS FOR IJ ITA](https://www.pdfsearch.io/img/14a74c927c3debeaef77b7850e492e23.jpg) | Add to Reading ListSource URL: foibg.comLanguage: English - Date: 2015-02-02 08:46:59
|
---|
27![Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract](https://www.pdfsearch.io/img/bcadc0c64ddb624afb319a078419f98c.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2012-06-04 13:35:50
|
---|
28![A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1](https://www.pdfsearch.io/img/8a5eafe60755fd39e7fbfa5cd44fb679.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2008-12-04 03:03:05
|
---|
29![¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”](https://www.pdfsearch.io/img/9e77816ce62314f2429bcf31de91ed7a.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.deLanguage: English - Date: 2013-08-19 07:45:21
|
---|
30![Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2](https://www.pdfsearch.io/img/4eedc2b290e9c1cab26a15a641046af9.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|